Section: Dissemination

Teaching - Supervision - Juries

• Mario Bravetti

  • Master: “Linguaggi, Compilatori e Modelli Computazionali”, 120 hours, 1st year, University of Bologna, Italy.

• Ugo Dal Lago

  • Undergraduate: “Introduction to Programming in Python”, 20 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Optimization”, 36 hours, 2nd year, University of Bologna, Italy.

  • Master: “Foundations of Logic for Computer Science”, 24 Hours, 2nd year. University of Bologna, Italy.

  • Master: “Cryptography”, 36 Hours, 2nd year, University of Bologna, Italy.

• Maurizio Gabbrielli

  • Undergraduate: “Programming languages”, 40 hours, 2nd year, University of Bologna, Italy.

  • Master: “Artificial Intelligence”, 60 hours, 2nd year, University of Bologna, Italy.

• Francesco Gavazzo

  • Undergraduate: “Programming languages”, 30 hours, 2nd year, University of Bologna, Italy.

  • Undergraduate: “Basic Computer Skills”. 30 hours, BSc Medical Chemistry and Pharmaceutical Technology, BSc Biology, University of Bologna.

• Ivan Lanese

  • Undergraduate: “Architettura degli Elaboratori”, 56 hours, 1st year, University of Bologna, Italy.

  • Master: “Ingegneria del Software Orientata ai Servizi”, 22 hours, 2nd year, University of Bologna, Italy.

• Cosimo Laneve

  • Undergraduate: “Programmazione”, 70 hours, 1st year, University of Bologna, Italy.

  • Master: “Analisi di Programmi”, 42 hours, 1st year, University of Bologna, Italy.

• Simone Martini

  • Undergraduate: “Programming in Python”, 72 hours, 1st year, University of Bologna, Italy.

• Davide Sangiorgi

  • Undergraduate: “Operating Systems”, 110 hours, 2nd year, University of Bologna, Italy.

  • Undergraduate: “Computer abilities for biologists”, 8 hours, 1st year, University of Bologna, Italy.

• Gianluigi Zavattaro

  • Undergraduate: “Computer Architectures”, 60 hours, 1st year, University of Bologna, Italy

  • Undergraduate: “Algoritmi e strutture dati”, 60 hours, 2nd year, University of Bologna, Italy

• Raphaelle Crubillé, October 2015, “Bisimulation Metrics and Probabilistic Lambda Calculi”, Université Denis Diderot and University of Bologna. Supervisors Thomas Ehrhard and Ugo Dal Lago.

• Adrien Durier, September 2016, "Proving behavioural properties of higher-order concurrent languages", ENS de Lyon and University of Bologna. Supervisors: Daniel Hirschkoff and Davide Sangiorgi.

• Francesco Gavazzo, October 2015, “Coinductive Techniques for Effectful Lambda Calculi”. Supervisor U. Dal Lago.

• Michael Lodi, January 2017, “Growth Mindset and Computational Thinking”. Supervisor: S. Martini.

• Tong Liu, November 2015, “Constraint based languages for Software Defined Networks”. Supervisor: Maurizio Gabbrielli.

• Stefano Pio Zingaro, November 2016, “High level languages for Internet of Things applications”. Supervisor: Maurizio Gabbrielli.

• Gabriele Vanoni, November 2018. “Optimal Reduction, Geometry of Interaction, and the Space-Time Tradeoff”. Supervisor Ugo Dal Lago.